Module aus dem Bereich Theoretische Informatik

Module	LV Type	CP	LV	Dates
Advanced Automata Theory	Fach-/Modulprüfung	6	351430
	Vorlesung		279330	Mo 08:30-10:00 AH I (2350\|028) (×11) Di 14:00-16:30 Aula 2 (2352\|021) (×1) Mi 12:15-13:00 AH I (2350\|028) (×12)
	Übung		282362	Fr 14:30-16:00 AH I (2350\|028) (×11)
Algorithmic Foundations of Datascience	Fach-/Modulprüfung	6	351845
	Vorlesung		312673	Mo 08:30-10:00 AH V (2356\|050) (×10) Do 08:30-10:00 AH V (2356\|050) (×9)
	Übung		312680	Di 12:30-14:00 AH I (2350\|028) (×1) Fr 08:30-10:00 AH V (2356\|050) (×1) Fr 14:30-16:00 AH IV (2354\|030) (×8)
Algorithmische Spieltheorie	Fach-/Modulprüfung	6	351474
Algorithmische Spieltheorie	Vorlesung		309120	Mo 10:30-12:00 MetP11 (2181\|102) (×12) Di 10:30-12:00 MetP11 (2181\|102) (×12) Do 12:30-14:00 MetP11 (2181\|102) (×11)
Formale Grundlagen von UML	Fach-/Modulprüfung	6	351852
Modellierung und Analyse hybrider Systeme	Fach-/Modulprüfung	6	352058
Modellierung und Analyse hybrider Systeme	Vorlesung/Übung		279319	Mo 14:30-16:00 AH V (2356\|050) (×12) Di 10:30-12:00 AH VI (2356\|051) (×12) Mi 16:00-18:00 Fakultätsseminarraum (2359\|U112) (×1)
Semantik und Verifikation von Software	Fach-/Modulprüfung	6	351544
	Vorlesung		309118	Mo 14:30-16:00 AH VI (2356\|051) (×9) Do 10:30-12:00 5056 (2356\|056) (×9) Fr 10:30-12:00 5056 (2356\|056) (×1)
	Übung		309117	Fr 10:30-12:00 5056 (2356\|056) (×10) Fr 10:30-12:00 Extern (×1)
Theory of Constraint Satisfaction Problems	Fach-/Modulprüfung	6	351819
	Übung		312813	Di 14:30-16:00 5055 (2356\|055) (×10)
	Vorlesung		312812	Di 08:30-10:00 5055 (2356\|055) (×11) Do 14:30-16:00 5055 (2356\|055) (×8) Do 14:30-16:00 Seminarraum i7, Raum 4116 (2353\|116) (×1)